1. 8th International Conference on Automated Deduction
پدیدآورنده : edited by Jپ rg H. Siekmann
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96
,
I57
1986
